Samak, Malavika: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 19th ACM SIGPLAN symposium - Orlando, Florida, USA (2014.02.15-2014.02.19)] Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '14 - Trace driven dynamic deadlock detection and reproduction

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2014

Language:

english

File:

PDF, 472 KB

english, 2014

2

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Omen+: a precise dynamic deadlock detector for multithreaded Java libraries

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2014

Language:

english

File:

PDF, 143 KB

english, 2014

3

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - Multithreaded test synthesis for deadlock detection

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2014

Language:

english

File:

PDF, 541 KB

english, 2014

4

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Synthesizing racy tests

Samak, Malavika, Ramanathan, Murali Krishna, Jagannathan, Suresh

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

5

[ACM Press the companion publication of the 2014 ACM SIGPLAN conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity - SPLASH '14 - Omen

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2014

Language:

english

File:

PDF, 549 KB

english, 2014

6

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Synthesizing tests for detecting atomicity violations

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2015

Language:

english

File:

PDF, 355 KB

english, 2015

7

Directed synthesis of failing concurrent executions

Samak, Malavika, Tripp, Omer, Ramanathan, Murali Krishna

Journal:

ACM SIGPLAN Notices

Year:

2016

Language:

english

File:

PDF, 386 KB

english, 2016

8

[ACM Press the 26th Symposium - Shanghai, China (2017.10.28-2017.10.28)] Proceedings of the 26th Symposium on Operating Systems Principles - SOSP '17 - Optimizing Big-Data Queries Using Program Synthesis

Schlaipfer, Matthias, Rajan, Kaushik, Lal, Akash, Samak, Malavika

Year:

2017

Language:

english

File:

PDF, 1019 KB

english, 2017